#! /bin/bash

#
# Check Linux 5.8 AArch64 translation with 48-bit virtual addresses
# using data from VMCOREINFO, but with no explicit version.
#

opts=(
    arch=aarch64
    ostype=linux
    page_shift=12
)

. "$srcdir"/xlat-os-common
